Awarded to F.H. Rogers for taximeter no. 407 for motor cabs, and approving the type represented by it. Certificate of Examination of a Taximeter
A Running Commentary on a Session at an ELDON Terminal. Donald A. Bell. A Running Commentary on a Session at an ELDON Terminal. Donald A. Bell.
IMP Reference Manual. University of Edinburgh Department of Computer Science. Ref. EMAP/41.5/0011. July 1967. IMP Reference Manual. University of Edinburgh Department of Computer Science. Ref. EMAP/41.5/0011. July 1967.
A Method of Solving Second Order Simultaneous Linear Differential Equations using the Mallock Machine by M.V. Wilkes. Cambridge University Press. April 1940 A Method of Solving Second Order Simultaneous Linear Differential Equations using the Mallock Machine by M.V. Wilkes. Cambridge University Press. April 1940
Electronic Computers in the Aircraft Industry, general programmes File 8/8/02. List of programmes written for Ferranti MK 1 Computer at A.V.Roe & Co. Ltd. Ferranti, summary of programmes for the aircraft industry, List CS 189. English Electric Aviation Ltd, Analysis of Damped Oscillations, Experimental use of the Difference Equation Method. Note No. 17. Bristol Aircraft Ltd. A List of programmes prepared or under development by the mathematical services for the Duce Digital Computer, Issue 2. Paper: Polynomial Interpretive Program (P.I.P.) British Aircraft Corporation, report No. 44. Electronic Computers in the Aircraft Industry, general programmes File 8/8/02. List of programmes written for Ferranti MK 1 Computer at A.V.Roe & Co. Ltd. Ferranti, summary of programmes for the aircraft industry, List CS 189. English Electric Aviation Ltd, Analysis of Damped Oscillations, Experimental use of the Difference Equation Method. Note No. 17. Bristol Aircraft Ltd. A List of programmes prepared or under development by the mathematical services for the Duce Digital Computer, Issue 2. Paper: Polynomial Interpretive Program (P.I.P.) British Aircraft Corporation, report No. 44.
Automatic Programming Information Centre, File No. 8/30/01. ABS14 Russian "Input Language" and Hockney's ABS12 ALGOL. The Input Language System of Automatic Programming by A.P. Ershov, Siberian Branch of the Academy of Science of the U.S.S.R. Folder entitled Automatic Programming Information Centre
Letter from Barry Mailloux, University of Alberta, August 1973. Letter from Barry Mailloux, University of Alberta, August 1973.
IFIP Working Groups 2.2. 'Formal Language Description Languages' Bulletin No. 4. May 1970. IFIP Working Groups 2.2. 'Formal Language Description Languages' Bulletin No. 4. May 1970.
N.R.D.C. Development of High Speed Computers File MA 25/011. Notes for discussion at a meeting in Millbank. Attendees: British Tabulating Machine Co., British Thomson-Houston Co, Electrical & Musical Ind. Ltd, Elliott Bros, English Electric, Ferranti, General Electric, Metropolitan-Vickers Electrical, Powers-Samas Accounting Machines, Radio Communications and Electronic Engineering Association and Standard Telephones & Cable. NRDC file relating to high speed computers
RRE Memorandum No. 2499. A Narrative Preview of ALGOL 68. P.M. Woodward. October 1968. RRE Memorandum No. 2499. A Narrative Preview of ALGOL 68. P.M. Woodward. October 1968.
Visit of Mr M. Woodger to San Dimas, California, U.S.A. August 8th -14th 1965. File C85. Report on visit to U.S.A. 14th - 31st May 1965 by M. Woodger. Paper by P.J. Landin, The Next Seven Hundred Programming Languages. Abstract: Programming Semantics for Multiprogrammed Computations by Jack B. Dennis and Earl C. van Horn. Pragmatics and Programming Languages by J.C. Boussard. Paper: A graphical service system with variable syntax by Lawrence G. Roberts. Paper: Syntax directed interpretation of classes of pictures by R. Narasimhan. Paper: Data manipulation and programming problems in automatic information retrieval by G. Salton. Paper: On-line Programming by Jules Schwartz. Paper: The evolution of the meta-assembly program, rough draft to be presented by David E. Ferguson in San Dimas. Paper: More on extensible machines by John. r. Goodroe and Gene F. Leonard. Paper: Multi-level operating systems by Wm. Orchard-Hays. Various correspondence. Visit of Mr M. Woodger to San Dimas, California, U.S.A. August 8th -14th 1965. File C85. Report on visit to U.S.A. 14th - 31st May 1965 by M. Woodger. Paper by P.J. Landin, The Next Seven Hundred Programming Languages. Abstract: Programming Semantics for Multiprogrammed Computations by Jack B. Dennis and Earl C. van Horn. Pragmatics and Programming Languages by J.C. Boussard. Paper: A graphical service system with variable syntax by Lawrence G. Roberts. Paper: Syntax directed interpretation of classes of pictures by R. Narasimhan. Paper: Data manipulation and programming problems in automatic information retrieval by G. Salton. Paper: On-line Programming by Jules Schwartz. Paper: The evolution of the meta-assembly program, rough draft to be presented by David E. Ferguson in San Dimas. Paper: More on extensible machines by John. r. Goodroe and Gene F. Leonard. Paper: Multi-level operating systems by Wm. Orchard-Hays. Various correspondence.
Letter from Dr K. Walk to Dear WG 2.2 Member, Vienna October 1970. Letter from Dr K. Walk to Dear WG 2.2 Member, Vienna October 1970.
Computer printout of Declarations in Programming Languages and Their Relation to Procedure Closures, M.F. Challis, University Mathematical Laboratory, Cambridge. Computer printout of Declarations in Programming Languages and Their Relation to Procedure Closures, M.F. Challis, University Mathematical Laboratory, Cambridge.
Diary of visit by J.F. Howard to Stevenage, May 1968. Diary of visit by J.F. Howard to Stevenage, May 1968.
Folder: W.G. 2.1. October 1965. St. Pierre-de Chartreuse. ALGOL X to February 1966. Report: A proposal for a report on a successor of Algol 60 by Niklaus Wirth, IFIP WG 2.1, Copy No. 22. August 1965. Report: MR 76. Orthogonal design and description of a formal language by A. van Wijngaaden, October 1965. Spiral note book, October. 65, Original ALGOL X. Document 15, ALGOL 6 X. Proposal for introduction on aims by Peter Naur, October 1965. Document 16, Grenoble 1965, W.G. 2.1. Document 23, A proposal for a basis for a report on a successor to Algol 60 by Gerhard Seegmuller. Document 2 Record Handling, M. Woodger, October 1965. Document 11. Definition of a subset of PL/I by finite local state-vectors by P. Lucas. July 1965. Folder of material relating to replacement for ALGOL 60
The British Computer Society. International Federation for Information Processing 1965 Congress. The British Computer Society. International Federation for Information Processing 1965 Congress.
A Program for the Production of Proofs for Theorems Derivable within the First Order Predicate Calculus from Axioms by P.C. Gilmore. UNESCO/NS/ICIP/1.6.14. A Program for the Production of Proofs for Theorems Derivable within the First Order Predicate Calculus from Axioms by P.C. Gilmore. UNESCO/NS/ICIP/1.6.14.
Automatic Programming Properties and Performance of Fortram Systems I and II by J.W. Backus. Paper 2-3. Automatic Programming Properties and Performance of Fortram Systems I and II by J.W. Backus. Paper 2-3.
Revision of draft program and re May meeting in France. December 1963 Revision of draft program and re May meeting in France. December 1963
Letter from G.F.Coulouris, Imperial College, Discussions with PROF. Niklaus Wirth (NW) on Computer Organisation. Dated March 1969. Letter from G.F.Coulouris, Imperial College, Discussions with PROF. Niklaus Wirth (NW) on Computer Organisation. Dated March 1969.
. Notes on a visit to Mullard Research Laboratories made by Computer Element Panel of Sub-Committee 19, R.C.R.& D. Technical Committee.
Revised report on the Algorithmic Language ALGOL 68. IFIP July 1973. Revised report on the Algorithmic Language ALGOL 68. IFIP July 1973.
Annals of the History of Computing, Volume 3, Number 4. The ENIAC: First General-Purpose Electronic Computer, Arthur W. Burks and Alice R. Burks. Paper: Logic. Computers, and Men by Arthur W. Burks. Paper: Super Electronic Computing Machine by Dr Arthur W. Burks. Paper: Computers and Control in Society by Arthur W. Burks. Paper: Who invented the general-purpose electronic computer by Arthur W. Burks. Proceedings of the I.R.E. Electronic Computing Circuits of the ENIAC by Arthur W. Burks. Annals of the History of Computing, Volume 3, Number 4. The ENIAC: First General-Purpose Electronic Computer, Arthur W. Burks and Alice R. Burks. Paper: Logic. Computers, and Men by Arthur W. Burks. Paper: Super Electronic Computing Machine by Dr Arthur W. Burks. Paper: Computers and Control in Society by Arthur W. Burks. Paper: Who invented the general-purpose electronic computer by Arthur W. Burks. Proceedings of the I.R.E. Electronic Computing Circuits of the ENIAC by Arthur W. Burks.
Computer Languages and Their Philosophies. July - August 1967, University of California. Computer Languages and Their Philosophies. July - August 1967, University of California.
Central Projection and Stereoscopic Diagrams on the Differential Analyser, A.R. Curtis, J.G.L. Michel and E.D. Sully. Mathematical Gazette, December 1950. Vol. XXXIV, No. 310. Pages 276-280. Central Projection and Stereoscopic Diagrams on the Differential Analyser, A.R. Curtis, J.G.L. Michel and E.D. Sully. Mathematical Gazette, December 1950. Vol. XXXIV, No. 310. Pages 276-280.
